Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Mathematical modeling offers a promising approach to improving mathematics education. This study aims to determine if the concept of metacognitive awareness in the learning process is associated with mathematical modeling. This study also considers the interaction effect of sex and academic year level on both variables. Focusing the study on preservice elementary teachers might address potential issues and targeted intervention in their preparation program concerning their ability to teach and guide young learners in modeling activities. The research sample includes 140 (...) preservice elementary teachers at Central Luzon State University, Philippines. Data collection used an adapted metacognitive awareness inventory and a validated researcher-made mathematical modeling competency test aligned with the K-12 mathematics curriculum in the Philippines. Results revealed that the preservice elementary teachers had a high metacognitive awareness and mathematical modeling competency, ranging from 22 to 31 out of 36 points. Besides, Factorial ANOVA indicates that academic year level positively affects both variables regardless of sex, and stepwise regression analysis unveiled that information management, declarative knowledge, and planning significantly predict 41.4% of the mathematical modeling competency variance. This suggests that developing metacognitive awareness supports preservice elementary teachers in performing modeling tasks that improve their competency level in mathematics. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, (...) because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Ontologies – structured, controlled, vocabularies – are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the virus research domain, following the principles of the Open Biological and Biomedical Ontology (OBO) Foundry and drawing on the resources of the Infectious Disease Ontology (IDO) Core. We report the development of the Virus Infectious (...) Disease Ontology (VIDO), a reference ontology extending IDO Core covering viral infectious diseases. We examine newly minted terms, showcase ontology term reuse, and illustrate the use of VIDO by annotating selections from recent life science research on SAR-CoV-2, in the interest of supporting machine learning projects. (shrink)

Abstract The explosion of interest in large language models (LLMs) has been accompanied by concerns over the extent to which generated outputs can be trusted, owing to the prevalence of bias, hallucinations, and so forth. Accordingly, there is a growing interest in the use of ontologies and knowledge graphs to make LLMs more trustworthy. This rests on the long history of ontologies and knowledge graphs in constructing human-comprehensible justification for model outputs as well as traceability concerning the impact of evidence (...) on other evidence. Understanding the nature of arguments and argumentation is critical to each, especially when LLM output conflicts with what is expected by users. The central contribution of this article is to extend the Arguments Ontology (ARGO) - an ontology specific to the domain of argumentation and evidence broadly construed - into the space of LLM fact-checking in the interest of promoting justification and traceability research through the use of ARGO-based ‘blueprints’. (shrink)

Mid-level ontologies are used to integrate data across disparate domains using vocabularies more specific than top-level ontologies and more general than domain-level ontologies. There are no clear, defensible criteria for determining whether a given ontology should count as mid-level, because we lack a rigorous characterization of what the middle level of generality is supposed to contain. Attempts to provide such a characterization have failed, we believe, because they have focused on the goal of specifying what is characteristic of those single (...) ontologies that have been advanced as mid-level ontologies. Unfortunately, single ontologies of this sort are generally a mixture of top- and mid-level, and sometimes even of domainlevel terms. To gain clarity, we aim to specify conditions for membership in what we call the middle architecture, which consists solely of mid-level ontologies. (shrink)

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This (...) paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data. (shrink)

In our daily lives, as in science and in all other domains, we encounter huge numbers of dispositions (tendencies, potentials, powers) which are realized in processes such as sneezing, sweating, shedding, melting. Among this plethora of what we can think of as ‘mere dispositions’ is a subset of dispositions in whose realizations we have an interest – a car responding well when driven on ice, a rabbit’s lungs responding well when it is chased by a wolf, and so on. We (...) call the latter ‘capabilities’ and we attempt to provide an ontological account of what capabilities are that is of sufficient generality to serve a variety of purposes, for example by providing a useful extension to ontology-based research in areas where capabilities data are being collected in siloed fashion. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a banks computers, however, the formula fails, (...) because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces framework work, (...) the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Polish translation of "John Searle: From Speech Acts to Social Reality", -/- We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US (...) political affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

The Infectious Disease Ontology (IDO) is a suite of interoperable ontology modules that aims to provide coverage of all aspects of the infectious disease domain, including biomedical research, clinical care, and public health. IDO Core is designed to be a disease and pathogen neutral ontology, covering just those types of entities and relations that are relevant to infectious diseases generally. IDO Core is then extended by a collection of ontology modules focusing on specific diseases and pathogens. In this paper we (...) present applications of IDO Core within various areas of infectious disease research, together with an overview of all IDO extension ontologies and the methodology on the basis of which they are built. We also survey recent developments involving IDO, including the creation of IDO Virus; the Coronaviruses Infectious Disease Ontology (CIDO); and an extension of CIDO focused on COVID-19 (IDO-CovID-19).We also discuss how these ontologies might assist in information-driven efforts to deal with the ongoing COVID-19 pandemic, to accelerate data discovery in the early stages of future pandemics, and to promote reproducibility of infectious disease research. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

In this article I argue that it is underdetermined what Spinoza is arguing for when he says in Proposition 72 of Part IV of the Ethics that (translated) "A free man never acts deceitfully, but always in good faith." In "Spinoza, Lying, and Acting in Good Faith," John Bauer has argued that Spinoza lays down an absolute moral prohibition never to lie.

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Richard Rorty's rejection of prevailing interior-mirror understandings of the presumed relationship between “minds” and “nature,” along with his promotion of nonrepresentational accounts of knowledge, truth, and science, participates in a rich tradition of jointly pragmatist and constructivist views that spans the twentieth century. This contribution to the symposium “Whatever Happened to Richard Rorty?” considers Rorty's complex and ambivalent relation to that tradition, particularly to the work of his American pragmatist predecessors, William James and John Dewey, and to subsequent pragmatist-constructivist (...) antirepresentationalism in contemporary science and technology studies (STS) and “4E” (embodied, embedded, extended, enactive) cognitive theory. A final section on Nicholas Gaskill's contribution to the symposium questions his sense of Rorty's rhetorical recklessness and suggests that his worries over relativism, in Rorty's texts and more generally, are misplaced. (shrink)

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (shrink)

We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political affairs. Crucially, the X and the Y terms are here identical. A (...) problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)

SNODENT is a dental diagnostic vocabulary incompletely integrated in SNOMED-CT. Nevertheless, SNODENT could become the de facto standard for dental diagnostic coding. SNODENT's manageable size, the fact that it is administratively self-contained, and relates to a well-understood domain provides valuable opportunities to formulate and test, in controlled experiments, a series of hypothesis concerning diagnostic systems. Of particular interest are questions related to establishing appropriate quality assurance methods for its optimal level of detail in content, its ontological structure, its construction and (...) maintenance. This paper builds on previous–software-based methodologies designed to assess the quality of SNOMED-CT. When applied to SNODENT several deficiencies were uncovered. 9.52% of SNODENT terms point to concepts in SNOMED-CT that have some problem. 18.53% of SNODENT terms point to SNOMED-CT concepts do not have, in SNOMED, the term used by SNODENT. Other findings include the absence of a clear specification of the exact relationship between a term and a termcode in SNODENT and the improper assignment of the same termcode to terms with significantly different meanings. An analysis of the way in which SNODENT is structurally integrated into SNOMED resulted in the generation of 1081 new termcodes reflecting entities not present in the SNOMED tables but required by SNOMED's own description logic based classification principles. Our results show that SNODENT requires considerable enhancements in content, quality of coding, quality of ontological structure and the manner in which it is integrated and aligned with SNOMED. We believe that methods for the analysis of the quality of diagnostic coding systems must be developed and employed if such systems are to be used effectively in both clinical practice and clinical research. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

In this review of John Shand's book on the history of western philosophy, I point out that the book is only concerned with epistemology and metaphysics, and only considers in detail the work of twenty individual philosophers. There are no entries on Socrates, Hobbes, Bentham, Schopenhauer, Mill, Kierkegaard, Marx, James, Frege, or Heidegger, and the final chapter on "Recent Philosophy" is only six and a half pages long, with each of the thirteen philosophers given a single paragraph each. Within (...) these narrow limits, Shand does an excellent job of presenting the epistemology and metaphysics of each major philosopher considered. (shrink)

Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, (...) so that anyone who has experience of relevant instances of these categories is implicitly aware also of a corresponding family of relations to certain other categories – as for example that every promise implies a mutually correlated claim and obligation. Midway between the two extremes of Hume and Reinach stands Searle, who accepts necessary relations of the mentioned sorts, but sees them as human creations, following from ‘constitutive rules’ analogous to the rules of chess. We seek to demonstrate that Searle does not occupy a stable and acceptable half-way house between Hume and Reinach; that he, too, if he is to do justice to the very constitutive rules which form the center of his approach, must on pain of circularity embrace something like the Reinachian position. (shrink)

This essay is a contribution to social ontology, drawing on the work of John Searle and of Hernando de Soto. At the center of the argument is the proposition advanced by de Soto in his Mystery of Capital to the effect that many of the entities which structure our contemporary social reality are entities which exist in virtue of the fact that there are (paper or digital) documents which support their existence. I here develop de Soto’s argument further, focusing (...) specifically on the ontological problems raised by a family of new types of social phenomena – exemplified most dramatically in the domain of finance for example in the form of what are called ‘structured investment vehicles’ – made possible as a result of the employment of computer technology in entity creation. I address also Searle’s most recent work on social ontology, and conclude with an appendix on the theory of documentality advanced by Maurizio Ferraris. (shrink)

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at the (...) same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show that Searle has (...) not identified a sustainable position somewhere between the Humean and the Reinachian extremes. This is because Searle’s position is threatened by circularity, and to steer clear of that danger it must incorporate at least some elements of Reinach’s essentialism. (shrink)

Preliminary version of “Towards a History of Speech Act Theory”, in A. Burkhardt (ed.), Speech Acts, Meanings and Intentions. Critical Approaches to the Philosophy of John R. Searle, Berlin/New York: de Gruyter, 1990, 29–61.

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic (...) article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

It is now generally recognized that figures such as Reid, Peirce, and Reinach formulated theories of speech acts avant la lettre of Austin and Searle, in Reid and Reinach’s cases under the heading ‘theory of social acts’. Here we address the question as to what conditions would have to be satisfied for such theories to count as ‘theories of speech acts’ in the now familiar sense.

In Knowledge and Lotteries, John Hawthorne offers a diagnosis of our unwillingness to believe, of a given lottery ticket, that it will lose a fair lottery – no matter how many tickets are involved. According to Hawthorne, it is natural to employ parity reasoning when thinking about lottery outcomes: Put roughly, to believe that a given ticket will lose, no matter how likely that is, is to make an arbitrary choice between alternatives that are perfectly balanced given one’s evidence. (...) It’s natural to think that parity reasoning is only applicable to situations involving lotteries dice, spinners etc. – in short, situations in which we are reasoning about the outcomes of a putatively random process. As I shall argue in this paper, however, there are reasons for thinking that parity reasoning can be applied to any proposition that is less than certain given one’s evidence. To see this, we need only remind ourselves of a kind of argument employed by John Pollock and Keith Lehrer in the 1980s. If this argument works, then believing any uncertain proposition, no matter how likely it is, involves a (covert) arbitrary or capricious choice – an idea that contains an obvious sceptical threat. (shrink)

If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal (...) terms the theory of granular partitions, which is designed to do justice to this context-dependence of vagueness by means of what might be described as a contextualized supervaluationism. Granularity and vagueness, it is argued, are two sides of a single coin: what is vague at one level of granularity may appear crisp at another. The resultant theory can be shown to resolve certain problems in our description of perceptual content, for example when John says that he sees the wall, but that he does not see the molecules by which the wall is constituted. (shrink)

The tradition of realist phenomenology was founded in around 1902 by a group of students in Munich interested in the newly published Logical Investigations of Edmund Husserl. Initial members of the group included Johannes Daubert, Alexander Pfänder, Adolf Reinach and Max Scheler. With Reinach’s move to Göttingen the group acquired two new prominent members – Edith Stein and Roman Ingarden. The group’s method turned on Husserl’s idea that we are in possession a priori (which is to say: non-inductive) knowledge of (...) entities (for example, colors, tones, values, shapes) of a range of different sorts. Pfänder applied this method in his descriptive psychology of willing and motivation, Reinach (anticipating the later speech act theory) to what he called ‘social acts’, Stein to the ontology of communities, and Ingarden to works of art and aesthetic phenomena. The movement latter, through Ingarden, lived on in Poland, where it influenced the young Karol Wojtyła. (shrink)

Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first (...) systematic theory of speech acts in connection with his monograph of 1913 on “The A Priori Foundations of the Civil Law”. (shrink)

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first (...) systematic theory of speech acts in connection with his monograph of 1913 on “The A Priori Foundations of the Civil Law”. (shrink)

In Anti-Oedipus, Deleuze and Guattari claim that a general theory of society must be a generalised theory of flows. This is hardly a straightforward claim, and this paper attempts to examine the grounds for it. Why should socio-political theory be based on a theory of flows rather than, say, a theory of the social contract, or a theory of the State, or the questions of legitimation or revolution, or numerous other possible candidates? The concept of flow (and the related notions (...) of code and stock), I argue, is derived from contemporary economic theory, and most notably John Maynard Keynes. Deleuze and Guattari remained Marxists, not only because they held that contemporary political philosophy must inevitably be centred on the analysis of capitalism, but also because they held, following Marx himself, that the Marxist analysis of capital must constantly be transformed and adapted to new conditions. Thus, while certain aspects of Marx's analysis disappear from Capitalism and Schizophrenia, they are supplemented by the addition of new concepts adequate to the contemporary state of capitalism. The paper concludes, then, with an analysis of the role played by the concepts of flow, code and stock in Deleuze and Guattari's political philosophy. (shrink)